On the Value of Fault Injection on the Modeling Level
نویسنده
چکیده
In this paper we advocate the integration of fault injection into a formal methods tool set. We start by giving some motivations from our past industrial experiences with VDM. Then, we report about our recent work on specification-based test case generation via model mutation. In this testing approach the idea is not to cover a specification structurally, e.g. all expressions/statements, but to cover a predefined set of possible faults, like semantic misunderstandings. A prototype tool has been developed that generates such test cases that could be easily adapted to VDM specifications. Finally, the validation role of fault injection is discussed.
منابع مشابه
Modeling of Fault Co-seismic Displacement Fields in Elastic Environments Based on Spherical Dislocation Theory
This research is based on the modeling of co-seismic deformations due to the fault movement in the elastic environments, and we can obtain the deformations generated in the faults. Here, modeling of the co-seismic displacement field is based on the analytical method with two spherical dislocation model and half-space dislocation model. The difference in displacement field from two spherical and...
متن کاملAn Evaluation of Rock Integrity and Fault Reactivation in the Cap Rock and Reservoir Rock Due to Pressure Variations
Cap rocks are dams which can prevent the upward movement of hydrocarbons. They have disparities and weaknesses including discontinuities, crushed areas, and faults. Gas injection is an effective mechanism for oil recovery and pore pressure. With increasing pore pressure, normal stress is reduced, and the integrity of impermeable boundaries (cap rock, fault, etc.) becomes instable. A successful ...
متن کاملYaw Rate Control and Actuator Fault Detection and Isolation for a Four Wheel Independent Drive Electric Vehicle
In this paper, a new actuator fault detection and isolation method for a four wheel independent drive electric vehicle is proposed. Also, a controller based on sliding mode control method is proposed for lateral stability of the vehicle. The proposed control method is designed in three high, medium and low levels. At the high-level, the vehicle desired dynamics such as longitudinal speed refere...
متن کاملAssessment of Near-Fault Ground Motion Effects on the Fragility Curves of Tall Steel Moment Resisting Frames
Nowadays it is common to use the fragility curves in probabilistic methods to determine the collapse probability resulting from an earthquake. The uncertainties exist in intensity and frequency content of the earthquake records are considered as the most effective parameters in developing the fragility curves. The pulse-type records reported in the near-fault regions might lead to the major dam...
متن کاملRobust Fault Detection on Boiler-turbine Unit Actuators Using Dynamic Neural Networks
Due to the important role of the boiler-turbine units in industries and electricity generation, it is important to diagnose different types of faults in different parts of boiler-turbine system. Different parts of a boiler-turbine system like the sensor or actuator or plant can be affected by various types of faults. In this paper, the effects of the occurrence of faults on the actuators are in...
متن کاملA New Fast and Accurate Fault Location and Classification Method on MTDC Microgrids Using Current Injection Technique, Traveling-Waves, Online Wavelet, and Mathematical Morphology
In this paper, a new fast and accurate method for fault detection, location, and classification on multi-terminal DC (MTDC) distribution networks connected to renewable energy and energy storages presented. MTDC networks develop due to some issues such as DC resources and loads expanding, and try to the power quality increasing. It is important to recognize the fault type and location in order ...
متن کامل